Information Integration in Institutions

نویسنده

  • Joseph Goguen
چکیده

This paper unifies and/or generalizes several approaches to information, including the information flow of Barwise and Seligman, the formal conceptual analysis of Wille, the lattice of theories of Sowa, the categorical general systems theory of Goguen, and the cognitive semantic theories of Fauconnier, Turner, Gärdenfors, and others. Its rigorous approach uses category theory to achieve independence from any particular choice of representation, and institutions to achieve independence from any particular choice of logic. Corelations and colimits provide a general formalization of information integration, and Grothendieck constructions extend this to several kinds of heterogeneity. Applications include modular programming, Curry-Howard isomorphism, database semantics, ontology alignment, cognitive semantics, and more.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Investigating the Role of Participatory Institutions on the Local Development (Case of Study: Islamic Council in the Dehong Village)

In This study we tried to examine the role of participatory institutions in the local development by measuring the effect of social capital on the promotion of performance. Our research sample was Dehong's (a village in south of Iran) Islamic Council. On the other hand it tries to evaluate effect of social capital on local development. The result of the study showed that some of social capital ...

متن کامل

Providing a pattern of disclosure and transparency of information in banks

          The main objective of this research is to formulate and present the dimensions and components of information transparency in banks, taking into account the environmental conditions and indigenous conditions in Iran in order to evaluate and rate the level of disclosure and transparency of Iranian banks. Considering the reporting conditions and reporting environment of Iranian banks and...

متن کامل

An Analysis of Research on Information Reuse and Integration (2003- 2008)

Information Reuse and Integration (IRI) plays a pivotal role in the capture, representation, maintenance, integration, validation, and extrapolation of information. Both information and knowledge are applied to enhance decision-making in various application domains. The objective of this paper is to provide a summary and analysis of research devoted to advancing the field of information reuse a...

متن کامل

Adaptive Information Analysis in Higher Education Institutes

Information integration plays an important role in academic environments since it provides a comprehensive view of education data and enables mangers to analyze and evaluate the effectiveness of education processes. However, the problem in the traditional information integration is the lack of personalization due to weak information resource or unavailability of analysis functionality. In this ...

متن کامل

Adaptive Information Analysis in Higher Education Institutes

Information integration plays an important role in academic environments since it provides a comprehensive view of education data and enables mangers to analyze and evaluate the effectiveness of education processes. However, the problem in the traditional information integration is the lack of personalization due to weak information resource or unavailability of analysis functionality. In this ...

متن کامل

Semantic Integration in the Information Flow Framework

The Information Flow Framework (IFF) [1] is a descriptive category metatheory currently under development, which is being offered as the structural aspect of the Standard Upper Ontology (SUO). The architecture of the IFF is composed of metalevels, namespaces and meta-ontologies. The main application of the IFF is institutional: the notion of institutions and their morphisms are being axiomatize...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2004